You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 41 - 80 hits of 1035. Search took 0.01 seconds.

1

2

3

4

5

6

7

8

9

10

11

12

Search results for coq :

Filename	Distribution	File size
coquillo-2.0.1.2+git.d44e444-2.5.x86_64.rpm	openSUSE Tumbleweed	309 kB	Info
coquillo-2.0.1.2+git.d44e444-2.5.src.rpm	openSUSE Tumbleweed	70 kB
coquillo-2.0.1.2+git.d44e444-2.5.i586.rpm	openSUSE Tumbleweed	338 kB	Info
coquillo-2.0.1.2+git.d44e444-2.138.x86_64.rpm	openSUSE Tumbleweed	272 kB
coquillo-2.0.1.2+git.d44e444-2.138.src.rpm	openSUSE Tumbleweed	73 kB
coquillo-2.0.1.2+git.d44e444-2.138.i586.rpm	openSUSE Tumbleweed	291 kB
coquillo-2.0.1-3.mga9.x86_64.rpm	Mageia Cauldron	289 kB	Info
coquillo-2.0.1-3.mga9.x86_64.rpm	Mageia 9	289 kB	Info
coquillo-2.0.1-3.mga9.src.rpm	Mageia Cauldron	83 kB
coquillo-2.0.1-3.mga9.src.rpm	Mageia 9	83 kB
coquillo-2.0.1-3.mga9.i586.rpm	Mageia Cauldron	316 kB	Info
coquillo-2.0.1-3.mga9.i586.rpm	Mageia 9	316 kB	Info
coquillo-2.0.1-3.mga9.armv7hl.rpm	Mageia Cauldron	252 kB
coquillo-2.0.1-3.mga9.armv7hl.rpm	Mageia 9	252 kB
coquillo-2.0.1-3.mga9.aarch64.rpm	Mageia Cauldron	276 kB
coquillo-2.0.1-3.mga9.aarch64.rpm	Mageia 9	276 kB
coquillo-2.0.1-2.mga8.x86_64.rpm	Mageia 8	272 kB	Info
coquillo-2.0.1-2.mga8.src.rpm	Mageia 8	83 kB
coquillo-2.0.1-2.mga8.i586.rpm	Mageia 8	299 kB	Info
coquillo-2.0.1-2.mga8.armv7hl.rpm	Mageia 8	254 kB
coquillo-2.0.1-2.mga8.aarch64.rpm	Mageia 8	253 kB
coquillo-1.9-1.src.rpm	Mandriva 2011	439 kB
coquillo-1.9-1-mdv2011.0.x86_64.rpm	Mandriva 2011	231 kB
coquillo-1.9-1-mdv2011.0.i586.rpm	Mandriva 2011	235 kB	Info
coquillo-1.12-1.src.rpm	Mandrake Other	565 kB
coquillo-1.12-1-mdv2012.0.x86_64.rpm	Mandrake Other	186 kB
coquillo-1.12-1-mdv2012.0.i586.rpm	Mandrake Other	194 kB	Info
coq-xemacs-el-8.3pl3-2.fc17.noarch.rpm	Fedora 17	28 kB	Info
coq-xemacs-el-8.3pl2-3.fc16.noarch.rpm	Fedora 16	27 kB	Info
coq-xemacs-el-8.3pl2-2.fc16.noarch.rpm	Fedora 16	27 kB	Info
coq-xemacs-el-8.3pl2-2.fc15.noarch.rpm	Fedora 15	27 kB	Info
coq-xemacs-el-8.3pl2-1.fc15.noarch.rpm	Fedora 15	27 kB	Info
coq-xemacs-8.3pl3-2.fc17.noarch.rpm	Fedora 17	25 kB	Info
coq-xemacs-8.3pl2-3.fc16.noarch.rpm	Fedora 16	25 kB	Info
coq-xemacs-8.3pl2-2.fc16.noarch.rpm	Fedora 16	24 kB	Info
coq-xemacs-8.3pl2-2.fc15.noarch.rpm	Fedora 15	24 kB	Info
coq-xemacs-8.3pl2-1.fc15.noarch.rpm	Fedora 15	24 kB	Info
coq-menhirlib-20220210-9.fc37.x86_64.rpm	Fedora 37	1891 kB
coq-menhirlib-20220210-5.fc36.x86_64.rpm	Fedora 36	1841 kB	Info
coq-menhirlib-20220210-4.fc36.x86_64.rpm	Fedora 36	1842 kB	Info

1

2

3

4

5

6

7

8

9

10

11

12